The Z notation - a reference manual
نویسنده
چکیده
منابع مشابه
Innovations in the Notation of Standard Z
The second Committee Draft of the ISO standard \Z Nota-tion" is expected to be published soon after the ZUM'98 proceedings. This paper provides an overview of Standard Z from the perspective of the diierences between its notation and that of Spivey's de facto standard \The Z Notation: A Reference Manual". Its aim is to make the diierences be more widely known and hence enable wider exploitation...
متن کاملA Front - End Tool to Parse Z Speci cationsJonathan
Z is one of the most widely used formal speciication languages. However, traditionally it has lacked adequate tool support for use in an industrial setting. It has grown up from a mathematically based tradition of the use of formal methods, rather than being based on any particular tool. This paper presents a tool and, in particular, its associated machine-readable syntax description of Z that ...
متن کاملSpecC Language Reference Manual
The SpecC Language Reference Manual defines the syntax and the semantics of the SpecC language. The SpecC language is defined as extension of the ANSI-C programming language. This document describes the SpecC constructs that were added to the ANSI-C language. For each SpecC construct, its purpose, its syntax, and its semantics are defined. In addition, each SpecC construct is illustrated by an ...
متن کاملThe Z Notation: A Reference Manual Second Edition
data type A state space, together with an initial state and a number of operations. In Z, these are all described using schemas. (p. 128) abstraction schema In data re nement, a schema which documents the relationship between the abstract and concrete state spaces. (p. 137)ion schema In data re nement, a schema which documents the relationship between the abstract and concrete state spaces. (p....
متن کاملLevel-one elliptic modular forms
[1] Traditional terminology is that f → f |2kγ is the slash operator, although this name fails to suggest any meaning other than reference to the notation itself. In fact, obviously f(z)→ f(γz)(cz + d)−2k is a left translation operator, albeit complicated by the automorphy factor. That is, this is a right action of SL2(Z) on functions on H, while the group action of SL2(Z) on H is written on th...
متن کامل